A. Krivine: шукати на сайті Z-Library

Рік:

1980

Мова:

english

Файл:

PDF, 1.29 MB

english, 1980

Une Preuve Formelle et Intuitionniste du Théorème de Complétude de la Logique Classique

Bulletin of Symbolic Logic

Журнал:

Рік:

1996

Файл:

PDF, 362 KB

1996

The Kappa platform for rule-based modeling

Boutillier, Pierre, Maasha, Mutaamba, Li, Xing, Medina-Abarca, Héctor F, Krivine, Jean, Feret, Jérôme, Cristescu, Ioana, Forbes, Angus G, Fontana, Walter

Журнал:

Bioinformatics

Рік:

2018

Мова:

english

Файл:

PDF, 3.76 MB

english, 2018

Constantes de Grothendieck et fonctions de type positif sur les sphères

J.L Krivine

Журнал:

Advances in Mathematics

Рік:

1979

Файл:

PDF, 717 KB

1979

Forcing and generalized quantifiers

Jean-Louis Krivine, Kenneth Mc Aloon

Журнал:

Annals of Mathematical Logic

Рік:

1973

Мова:

english

Файл:

PDF, 2.91 MB

english, 1973

Classical logic, storage operators and second-order lambda-calculus

Annals of Pure and Applied Logic

Журнал:

Рік:

1994

Мова:

english

Файл:

PDF, 1.88 MB

english, 1994

A call-by-name lambda-calculus machine

Higher-Order and Symbolic Computation

Журнал:

Рік:

2007

Мова:

english

Файл:

PDF, 253 KB

english, 2007

COL2-02 Conséquences obstétricales des traitements antirétroviraux à base de lopinavir chez la femme enceinte infectée par le VIH-1 : Etude d’une cohorte monocentrique

E. Azria, C. Moutafoff, T. Schmitz, A. Krivine, E. Pannier, D. Cabrol, O. Launay

Журнал:

Médecine et Maladies Infectieuses

Рік:

2008

Мова:

french

Файл:

PDF, 230 KB

french, 2008

A simple parametrization of the density-matrix expansion and Skyrme-like forces

Treiner, J, Krivine, H

Журнал:

Journal of Physics G Nuclear Physics

Рік:

1976

Мова:

english

Файл:

PDF, 956 KB

english, 1976

Phase transition-like behavior in a low-pass filter

Krivine, H., Lesne, A.

Журнал:

American Journal of Physics

Рік:

2003

Мова:

english

Файл:

PDF, 292 KB

english, 2003

[IEEE Comput. Soc Fifteenth Annual IEEE Symposium on Logic in Computer Science (LICS 2000) - Santa Barbara, CA, USA (26-28 June 2000)] Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332) - The curry-howard correspondence in set theory

Krivine, J.-L.

Рік:

2000

Мова:

english

Файл:

PDF, 114 KB

english, 2000

Sous-Espaces de Dimension Finie Des Espaces de Banach Reticules

J. L. Krivine

Журнал:

Annals of Mathematics

Рік:

1976

Файл:

PDF, 1.49 MB

1976

Intrinsic information carriers in combinatorial dynamical systems

Harmer, Russ, Danos, Vincent, Feret, Jéro^me, Krivine, Jean, Fontana, Walter

Журнал:

Chaos An Interdisciplinary Journal of Nonlinear Science

Рік:

2010

Мова:

english

Файл:

PDF, 546 KB

english, 2010

Introduction to Combinators and λ-Calculusby J. Roger Hindley; Jonathan P. Seldin

Review by: J. L. Krivine

Журнал:

Journal of Symbolic Logic

Рік:

1988

Мова:

english

Файл:

PDF, 100 KB

english, 1988

In Memory of a Rebel

Krivine, A., Bensaid, D.

Журнал:

Telos

Рік:

1980

Мова:

english

Файл:

PDF, 132 KB

english, 1980

[Lecture Notes in Mathematics] Séminaire Bourbaki vol. 1968/69 Exposés 347-363 Volume 179 || Théorèmes de consistance en théorie de la mesure de R. Solovay

Krivine, Jean-Louis

Рік:

1971

Мова:

french

Файл:

PDF, 368 KB

french, 1971

Difficulté sexuelle chez la femme

Borten-Krivine, Irè, ne

Журнал:

EMC - Traité de Médecine AKOS

Рік:

2006

Мова:

french

Файл:

PDF, 109 KB

french, 2006

Comment la Terre a-t-elle pu vieillir de plus de quatre milliards d’années en quatre siècles ?

Krivine, Hubert

Журнал:

Comptes Rendus Geoscience

Рік:

2017

Файл:

PDF, 221 KB

2017

Realizability algebras III: some examples

KRIVINE, JEAN-LOUIS

Журнал:

Mathematical Structures in Computer Science

Рік:

2018

Мова:

english

Файл:

PDF, 314 KB

english, 2018

Determination of the Appropriate Event Window Length in Individual Stock Event Studies

Krivin, Dmitry, Patton, Robert, Rose, Erica, Tabak, David

Журнал:

SSRN Electronic Journal

Рік:

2003

Мова:

english

Файл:

PDF, 199 KB

english, 2003

Factors influencing the efficacy of two injections of a pandemic 2009 influenza A (H1N1) nonadjuvanted vaccine in systemic lupus erythematosus

A. Mathian, H. Devilliers, A. Krivine, N. Costedoat-Chalumeau, J. Haroche, D. Boutin-Le Thi Huong, B. Wechsler, B. Hervier, M. Miyara, N. Morel, N. Le Corre, L. Arnaud, J. C. Piette, L. Musset, B. Aut

Журнал:

Arthritis & Rheumatism

Рік:

2011

Мова:

english

Файл:

PDF, 103 KB

english, 2011

A cohort study of enfuvirtide immunological and virological efficacy in clinical practice

Boris Bienvenu, Anne Krivine, Florence Rollot, Marie-Pierre Pietri, Valérie Lebault, Jean-François Meritet, Corinne Guerin, Gabriela Spiridon, Dominique Salmon, Loïc Guillevin, Pierre Lebon, Odile Lau

Журнал:

Journal of Medical Virology

Рік:

2006

Мова:

english

Файл:

PDF, 100 KB

english, 2006

Causal model-based knowledge acquisition tools: discussion of experiments

Jean Charlet, Chantal Reynaud, Jean-Paul Krivine

Журнал:

International Journal of Human-Computer Studies

Рік:

1996

Мова:

english

Файл:

PDF, 286 KB

english, 1996

Semiclassical expansions for confined N fermion systems

H. Krivine, M. Casas, J. Martorell

Журнал:

Annals of Physics

Рік:

1990

Мова:

english

Файл:

PDF, 1.96 MB

english, 1990

A general storage theorem for integers in call-by-name λ-calculus

Theoretical Computer Science

Журнал:

Рік:

1994

Мова:

english

Файл:

PDF, 1.13 MB

english, 1994

Examining some aspects of the nuclear caloric curve

X. Campi, H. Krivine, E. Plagnol

Журнал:

Physics Letters B

Рік:

1996

Мова:

english

Файл:

PDF, 328 KB

english, 1996

Variations isotopiques des dimensions nucléaires déduites d'une paramétrisation en déphasages de la diffusion élastique de particules α de 44 MeV

J.C. Faivre, H. Krivine, A.M. Papiau

Журнал:

Рік:

1968

Файл:

PDF, 471 KB

1968

A sum rule approach to total muon capture rates

J. Navarro, H. Krivine

Журнал:

Рік:

1986

Мова:

english

Файл:

PDF, 755 KB

english, 1986

Finite size effects on the momentum distribution of non-interacting fermions

H. Krivine

Журнал:

Рік:

1986

Мова:

english

Файл:

PDF, 1.07 MB

english, 1986

RPA correlation effects in radiative pion capture

H. Krivine, E. Lipparini, J. Navarro, F. Roig

Журнал:

Рік:

1988

Мова:

english

Файл:

PDF, 618 KB

english, 1988

The Thomas-Fermi method and polarizability of nuclei

C. García-Recio, H. Krivine, Nguyen Van Giai, J. Navarro

Журнал:

Рік:

1990

Мова:

english

Файл:

PDF, 828 KB

english, 1990

Critical behaviour, fluctuations and finite size scaling in nuclear multifragmentation

Журнал:

Рік:

1992

Мова:

english

Файл:

PDF, 1.03 MB

english, 1992

Fluctuations and intermittency in fragment size distributions

Журнал:

Vincent Danos, Jean Krivine

Рік:

1995

Мова:

english

Файл:

PDF, 731 KB

english, 1995

Formal Molecular Biology Done in CCS-R

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2007

Мова:

english

Файл:

PDF, 356 KB

english, 2007

Preface

Jean Krivine, Angelo Troina

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2010

Мова:

english

Файл:

PDF, 92 KB

english, 2010

Stochastic Bigraphs

Jean Krivine, Robin Milner, Angelo Troina

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2008

Мова:

english

Файл:

PDF, 568 KB

english, 2008

Computational self-assembly

Pierre-Louis Curien, Vincent Danos, Jean Krivine, Min Zhang

Журнал:

Theoretical Computer Science

Рік:

2008

Мова:

english

Файл:

PDF, 1.13 MB

english, 2008

Dependent choice, ‘quote’ and the clock

Theoretical Computer Science

Журнал:

Рік:

2003

Мова:

english

Файл:

PDF, 302 KB

english, 2003

Diagnostic anténatal des infections à parvovirus B19

Anne Krivine

Журнал:

Revue Française des Laboratoires

Рік:

2003

Файл:

PDF, 1.07 MB

2003

Clustering and thermodynamics in small systems

X. Campi, H. Krivine, N. Sator

Журнал:

Рік:

2001

Файл:

PDF, 398 KB

2001

Clustering in supercritical nuclear matter: a lattice-gas approach

Журнал:

Physica A: Statistical Mechanics and its Applications

Рік:

1997

Мова:

english

Файл:

PDF, 432 KB

english, 1997

Percolation line of self-bound clusters in supercritical fluids

X Campi, H Krivine, N Sator

Журнал:

Рік:

2001

Мова:

english

Файл:

PDF, 82 KB

english, 2001

On a definition of stable droplets in the lattice-gas model

X. Campi, H. Krivine, A. Puente

Журнал:

Physica A: Statistical Mechanics and its Applications

Рік:

1999

Мова:

english

Файл:

PDF, 96 KB

english, 1999

Efficacy and tolerance of combination of maraviroc with MK-0518, boosted TMC-114, TMC-125, in heavily pre-treated CCR5-positive patients

F Almasi, A Krivine, A Compangocci, B Silberman, L Belaebi, D Salmon

Журнал:

Journal of the International AIDS Society

Рік:

2008

Мова:

english

Файл:

PDF, 71 KB

english, 2008

A case of congenital lymphocytic choriomeningitis virus (LCMV) infection revealed by hydrops fetalis

J. F. Meritet, A. Krivine, F. Lewin, M. H. Poissonnier, R. Poizat, P. Loget, F. Rozenberg, P. Lebon

Журнал:

Prenatal Diagnosis

Рік:

2009

Мова:

english

Файл:

PDF, 47 KB

english, 2009

DIVA: Recognition of typical situations for turbine generator diagnosis

Jean-Marc David, Jean-Paul Krivine, Jean-Pierre Tiarri, Benoit Ricard

Журнал:

Journal of Intelligent & Robotic Systems

Рік:

1988

Мова:

english

Файл:

PDF, 665 KB

english, 1988

Observables in nuclear fragmentation

Zeitschrift für Physik A Hadrons and Nuclei

Журнал:

Рік:

1992

Мова:

english

Файл:

PDF, 471 KB

english, 1992

Opérateurs de mise en mémoire et traduction de Gödel

Archive for Mathematical Logic

Журнал:

Рік:

1990

Файл:

PDF, 1.37 MB

1990

About classical logic and imperative programming